1721. Surface engineering geometry for computer-aided design and manufacture
پدیدآورنده : Ding Qiulin and B.J. Davies.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Engineering design-data processing
رده :
TA
174
.
Q8
,
S9
1722. Surfaces in computer aided geometric design: proceedings of a conference held at Mathematisches Forschungsinstitut Oberwolfach, Federal Republic of Germany, April 25-30, 1982
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer graphics,Congresses ، Engineering design--Data processing,Congresses ، Surfaces--Data processing
رده :
T
385
.
S827
1983
1723. Switch-Mode Power Supply Spice Cookbook
پدیدآورنده : Christophe P. Basso
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Spice ( computer file),Switching power supplies -- design and construction -- data processing
رده :
TK
،
7868
،.
P6
,
B34
،
2001
1724. #Switch-mode power supply SPICE cookbook
پدیدآورنده : #Christophe P. Basso
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Switching power supplies- Design and construction- Data processing ،SPICE )Computer file(
رده :
#
TK
،#.
P6
,
B34
1725. Switching theory for logic synthesis
پدیدآورنده : Sasao, Tsutomu
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic design-- Data processing,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
.
S26
1999
1726. Switching theory for logic synthesis
پدیدآورنده : Sasao,Tsutomu
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : Data processing ، Logic design,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
S26
1999
1727. Symbolic Simulation Methods for Industrial Formal Verification
پدیدآورنده : by Robert B. Jones.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer-aided design.,Electronic data processing.,Engineering.,Systems engineering.
1728. Symbolic analysis of analog circuits
پدیدآورنده : / edited by Lawrence P. Huelsman and Georges G.E. Gielen
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Electric circuits, Linear,Symbolic circuit analysis,Electronic circuit design - Data processing
رده :
TK
454
.
15
.
L56S96
1993
1729. Symbolic analysis techniques: applications to analog design automation
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Design and construction-- Data processing ، Linear integrated circuits,، Symbolic circuit analysis
رده :
TK
7874
.
S876
1997
1730. Symbolic model checking
پدیدآورنده : / by Kenneth L. McMillan
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
رده :
TK
7888
.
4
.
M43
1993
1731. Synthesis and optimization of DSP algorithms
پدیدآورنده : / by George A. Constantinides, Peter Y.K. Cheung and Wayne Luk
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Signal processing , Digital techniques,Digital communications , Equipment and supplies , Design , Data processing,Electronic books. , local
رده :
E-BOOK
1732. Synthesis and optimization of DSP algorithms /
پدیدآورنده : by George A. Constantinides, Peter Y.K. Cheung, and Wayne Luk
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital communications-- Equipment and supplies-- Design-- Data processing,Signal processing-- Digital techniques
رده :
TK5102
.
9
.
C585
2004
1733. Synthesis and optimization of DSP algorithms /
پدیدآورنده : by George A. Constantinides, Peter Y.K. Cheung, and Wayne Luk
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital communications-- Equipment and supplies-- Design-- Data processing,Signal processing-- Digital techniques
رده :
TK5102
.
9
.
C585
2004
1734. Synthesis and optimization of DSP algorithms
پدیدآورنده : by George A. Constantinides, Peter Y. K. Cheung, and Wayne Luk
موضوع : Signal processing- Digital techniques,Digital communications- Equipment and supplies- Design- Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1735. Synthesis and optimization of digital circuits
پدیدآورنده : / Giovanni De Micheli
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Digital integrated circuits - Design and construction - Data processing,Digital electronics - Data processing,Computer-aided design
رده :
TK7874
.
65
.
D4
1994
1736. Synthesis and optimization of digital circuits
پدیدآورنده : De Micheli, Giovanni.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Digital integrated circuits - Design and construction - Data processing , Digital electronics - Data processing , Computer-aided design
رده :
TK
7874
.
65
.
D4
1737. Synthesis and optimization of digital circuits
پدیدآورنده : De Micheli, Giovanni
موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Digital electronics-- Data processing,، Computer-aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1738. Synthesis and optimization of digital circuits
پدیدآورنده : De Micheli, Giovanni
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Digital integrated circuits- Design and construction- Data processing,، Digital electronics- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
D4
1739. Synthesis and optimization of digital circuits
پدیدآورنده : / Giovanni De Micheli.
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Digital integrated circuits -- Computer-aided design,Digital electronics -- Data processing
رده :
TK
7874
.
65
.
D4
1994
1740. Synthesis of digital designs from recursion equations
پدیدآورنده : Johnson, Steven D, Steven Dexter
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Digital electronics-- Data processing,، Electronic circuit design-- Data processing,، Recursive functions
رده :
TK
7868
.
D5
.
J64
1984